2

[Springer Books on Professional Computing] The World of Programming Languages ||

Marcotty, Michael, Ledgard, Henry
Year:
1987
Language:
english
File:
PDF, 42.78 MB
english, 1987
3

A Sampler of Formal Definitions

Marcotty, Michael, Ledgard, Henry, Bochmann, Gregor V.
Journal:
ACM Computing Surveys
Year:
1976
Language:
english
File:
PDF, 4.35 MB
english, 1976
4

A reminder for language designers

Richard, Frederic, Ledgard, Henry F.
Journal:
ACM SIGPLAN Notices
Year:
1977
Language:
english
File:
PDF, 777 KB
english, 1977
5

Ten Mini-Languages: A Study of Topical Issues in Programming Languages

Ledgard, Henry F.
Journal:
ACM Computing Surveys
Year:
1971
Language:
english
File:
PDF, 2.16 MB
english, 1971
6

Corrigendum: “A Sampler of Formal Definitions”

Marcotty, Michael, and Gregor V. Bochmann, Henry Ledgard
Journal:
ACM Computing Surveys
Year:
1977
Language:
english
File:
PDF, 239 KB
english, 1977
7

The case for structured programming

Henry F. Ledgard
Journal:
BIT Numerical Mathematics
Year:
1974
Language:
english
File:
PDF, 716 KB
english, 1974
8

Coding Guidelines

Green, Robert, Ledgard, Henry
Journal:
Queue
Year:
2011
Language:
english
File:
PDF, 753 KB
english, 2011
9

Two views of data abstraction

Ledgard, Henry F., Taylor, Robert W.
Journal:
Communications of the ACM
Year:
1977
Language:
english
File:
PDF, 1.45 MB
english, 1977
10

Coding guidelines

Green, Robert, Ledgard, Henry
Journal:
Communications of the ACM
Year:
2011
Language:
english
File:
PDF, 162 KB
english, 2011
11

Cobol under control

Ledgard, Henry F., Cave, William C.
Journal:
Communications of the ACM
Year:
1976
Language:
english
File:
PDF, 4.87 MB
english, 1976
12

The human aspects of computing: a note on this collection

Ledgard, Henry
Journal:
Communications of the ACM
Year:
1986
Language:
english
File:
PDF, 110 KB
english, 1986
13

Exchange transfusion for fetal erythroblastosis

Henry W. Kaessler, James J. Ledgard
Journal:
The Journal of Pediatrics
Year:
1951
Language:
english
File:
PDF, 1.27 MB
english, 1951
14

Measuring productivity in the software industry

Anselmo, Donald, Ledgard, Henry
Journal:
Communications of the ACM
Year:
2003
Language:
english
File:
PDF, 466 KB
english, 2003
15

A model for type checking: with an application to ALGOL 60

Ledgard, Henry F.
Journal:
Communications of the ACM
Year:
1972
Language:
english
File:
PDF, 877 KB
english, 1972
17

A human engineered variant of BNF

Ledgard, Henry F.
Journal:
ACM SIGPLAN Notices
Year:
1980
Language:
english
File:
PDF, 255 KB
english, 1980
19

The natural language of interactive systems

Ledgard, Henry, Whiteside, John A., Singer, Andrew, Seymour, William
Journal:
Communications of the ACM
Year:
1980
Language:
english
File:
PDF, 4.37 MB
english, 1980
20

Production systems - or can we do better than BNF?

Ledgard, Henry F.
Journal:
ACM SIGPLAN Notices
Year:
1973
File:
PDF, 196 KB
1973
21

Technical opinion: The emperor with no clothes

Ledgard, Henry F.
Journal:
Communications of the ACM
Year:
2001
Language:
english
File:
PDF, 66 KB
english, 2001
22

Surveyor's Forum: A Criticism of Sampler

Marcotty, Michael, Ledgard, Henry F.
Journal:
ACM Computing Surveys
Year:
1977
Language:
english
File:
PDF, 239 KB
english, 1977
23

Embedding Markov normal algorithms within the λ-calculus

Ledgard, Henry F.
Journal:
International Journal of Computer Mathematics
Year:
1972
Language:
english
File:
PDF, 341 KB
english, 1972
24

Production systems: or can we do better than BNF

Ledgard, Henry F.
Journal:
Communications of the ACM
Year:
1974
Language:
english
File:
PDF, 678 KB
english, 1974
25

Scaling down Ada (or towards a standard Ada subset)

Ledgard, Henry F., Singer, Andrew
Journal:
Communications of the ACM
Year:
1982
Language:
english
File:
PDF, 419 KB
english, 1982